recursion-formation principle

un. 递归形成原则